A. Visser, "Peano’s smart children: A provability logical study of systems with built-in consistency"